DPLL algorithm

#	Item
31	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
32	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
33	Untitled Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Propositional calculus Logical syntax Semantics Resolution Inference Horn clause Unit propagation DPLL algorithm Interpretation Logic Automated theorem proving Mathematical logic